Incremental Diagnosis of DES by Satisfiability
نویسندگان
چکیده
We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations to lead the current diagnosis. Experiments stress the impact of parameters tuning on the correctness and the efficiency of the approach.
منابع مشابه
Fast Incremental Unit Propagation by Unifying Watched - literals and Local Repair
The propositional satisfiability problem has been studied extensively due to its theoretical significance and applicability to a variety of fields including diagnosis, autonomous control, circuit testing, and software verification. In these applications, satisfiability problem solvers are often used to solve a large number of problems that are essentially the same and only differ from each othe...
متن کاملUsing Incremental SAT for Testing Diagnosability of Distributed DES
We extend in this work the existing approach to analyse diagnosability in discrete event systems (DES) using satisfiability algorithms (SAT), in order to analyse the diagnosability in distributed DES (DDES) and we test this extension. For this, we handle observable and non observable communication events at the same time. We also propose an adaptation to use incremental SAT over the existing an...
متن کاملThe incremental satisfiability problem for a two conjunctive normal form
We propose a novel method to review K ` φ when K and φ are both in Conjunctive Normal Forms (CF). We extend our method to solve the incremental satisfiablity problem (ISAT), and we present different cases where ISAT can be solved in polynomial time. Keyword: Satisfiability Problem, Incremental Satisfiability Problem, 2SAT, Entail Propositional Problem, Efficient Satisfiability Instances.
متن کاملDiagnosis of Intermittent Faults with Conditional Preferences
Diagnosis of intermittent faults is significantly different from diagnosis of permanent faults, especially when selecting one or several preferred diagnoses. In this paper, we describe a new modeling approach for intermittent faults based on Past Time Linear Temporal Logic (PTLTL), and we suggest a conditional diagnosis selection approach based on Conditional Preference theories. We describe ho...
متن کاملIncremental Diagnosis of DES with a Non-Exhaustive Diagnosis Engine
The incremental diagnosis of discrete-event systems is the problem of updating the diagnosis when new observations are available. For solving this problem, most approaches use diagnosis engines that return all the diagnoses, and concatenate the diagnoses of the new observations to the previous diagnoses. In this paper, we define the notion of non-exhaustive diagnosis engine, which returns only ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008